Reasoning with OWL-DL in Inductive Logic Programming
نویسنده
چکیده
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Programming (ILP) with respect to other approaches to concept learning. We argue that ILP can not ignore the latest developments in Knowledge Engineering such as ontologies and formalisms based on Description Logics. In this paper we present an experience with OWL-DL reasoners in ILP within the application context of the Semantic Web.
منابع مشابه
DL-Learner: Learning Concepts in Description Logics
In this paper, we introduce DL-Learner, a framework for learning in description logics and OWL. OWL is the official W3C standard ontology language for the Semantic Web. Concepts in this language can be learned for constructing and maintaining OWL ontologies or for solving problems similar to those in Inductive Logic Programming. DL-Learner includes several learning algorithms, support for diffe...
متن کاملKnowledge-Management with OWL and F-Logic: A Combination of Description Logic Reasoning with F-Logic Rules
This thesis proposes an approach to combine the abilities of Description Logic reasoning with the expressiveness of F-Logic rules. Description Logics (DL) play a key role in ontology modeling for the Semantic Web, most notably as the underlying logic of OWL DL. However, their expressiveness is limited, in particular in conjunction with efficient reasoning. Furthermore, the logic programming par...
متن کاملExpressive OWL Reasoning with Logic Programs
The Web Ontology Language OWL is the W3C standard for modeling ontologies for the web. It is based on description logics, a fragment of firstorder logic. Traditionally, however, logic programming has always been an alternative ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker...
متن کاملExploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligent systems such as Inductive Logic Programming (ILP) systems which were not conceived for dealing with DL knowledge bases. In this paper, we describe an extension of the ILP system AL-QuIn to deal with a background know...
متن کاملDescription Logic and Rules the CHR Way Extended Abstract
The challenges of the Semantic Web endeavour in knowledge representation and reasoning prompted a wealth of research in combining description logic (DL) as ontology languages (e.g. OWL) with logic programming for rule-based reasoning. General issues of combining and integrating formalisms have to be faced such as the type of combination, conceptual simplicity and tractability. Even though const...
متن کامل